Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
131	SUCCINCT REPRESENTATIONS FOR ABSTRACT INTERPRETATION COMBINED ANALYSIS ALGORITHMS AND EXPERIMENTAL EVALUATION JULIEN HENRY, DAVID MONNIAUX, AND MATTHIEU MOY Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-06-28 01:14:03
132	From Trace Sets to Modal-Transition Systems by Stepwise Abstract Interpretation David A. Schmidt 1 Computing and Information Sciences Department Kansas State University Manhattan, KSUSA. Add to Reading List Source URL: people.cis.ksu.edu Language: English - Date: 2003-01-07 18:28:10
133	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression
134	¨ Abstract Interpretation from Buchi Automata Martin Hofmann Wei Chen Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-05-05 05:20:33
135	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
136	Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:01 Operator theory Theoretical computer science Measure theory Mathematics Analysis Denotational semantics Logic in computer science Hermitian adjoint Support Expected value Abstract interpretation Adjoint functors
137	Principles and applications of abstract-interpretation-based static analysis David Schmidt Kansas State University www.cis.ksu.edu/~schmidt Add to Reading List Source URL: santos.cis.ksu.edu Language: English
138	A FORMAL MODEL OF EXIT AND VOICE Scott Gehlbach ABSTRACT I re-examine Hirschman’s classic text Exit, Voice, and Loyalty through a game-theoretic interpretation of the relationship between Add to Reading List Source URL: users.polisci.wisc.edu Language: English - Date: 2010-01-19 23:21:03
139	Abstract Interpretation from a Topological Perspective David Schmidt Kansas State University www.cis.ksu.edu/∼schmidt Add to Reading List Source URL: santos.cis.ksu.edu Language: English - Date: 2009-08-16 16:43:21
140	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP

UPDATE